Integer → Natural
